Seismic Scattering Attributes to Estimate Reservoir Fracture Density: A Numerical Modeling Study

We use a 3-D finite difference numerical model to generate synthetic seismograms from a simple fractured reservoir containing evenly-spaced, discrete, vertical fracture zones. The fracture zones are represented using a single column of anisotropic grid points. In our experiments, we vary the spacing of the fracture zones from 10-meters to 100-meters, corresponding to fracture density values from 0.1- to 0.01-fractures/meter, respectively. The vertical component of velocity is analyzed using integrated amplitude and spectral attributes that focus on time windows around the base reservoir reflection and the scattered wave coda after the base reservoir reflection. Results from a common shot gather show that when the fracture zones are spaced greater than about a quarter wavelength of a P-wave in the reservoir we see 1) significant loss of amplitude and coherence in the base reservoir reflection and 2) a large increase in bulk scattered energy. Wavenumber spectra for integrated amplitude versus offset from the time window containing the base reservoir reflection show spectral peaks corresponding to the fracture density. Frequency versus wavenumber plots for receivers normal to the fractures separate backscattered events that correspond to spectral peaks with positive wavenumbers and relatively narrow frequency ranges. In general, backscattered events show an increase in peak frequency as fracture density is increased.Eni S.p.A. (Firm)United States. Dept. of Energy (Grant number DE-FC26-02NT15346)Massachusetts Institute of Technology. Earth Resources Laborator

Seismic scattering attributes to estimate reservoir fracture density : a numerical modeling study

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Earth, Atmospheric, and Planetary Sciences, 2003.Includes bibliographical references (leaves 26-27).We use a 3-D finite difference numerical model to generate synthetic seismograms from a simple fractured reservoir containing evenly-spaced, discrete, vertical fracture zones. The fracture zones are represented using a single column of anisotropic grid points. In our experiments, we vary the spacing of the fracture zones from 10-meters to 100-meters, corresponding to fracture density values from 0.1- to 0.01-fractures/meter, respectively. The vertical component of velocity is analyzed using integrated amplitude and spectral attributes that focus on time windows around the base reservoir reflection and the scattered wave coda after the base reservoir reflection. Results from a common shot gather show that when the fracture zones are spaced greater than about a quarter wavelength of a P-wave in the reservoir we see 1) significant loss of amplitude and coherence in the base reservoir reflection and 2) a large increase in bulk scattered energy. Wavenumber spectra for integrated amplitude versus offset from the time window containing the base reservoir reflection show spectral peaks corresponding to the fracture density. Frequency versus wavenumber plots for receivers normal to the fractures separate backscattered events that correspond to spectral peaks with positive wavenumbers and relatively narrow frequency ranges. In general, backscattered events show an increase in peak frequency as fracture density is increased.by Frederick D. Pearce.S.M

The Ancient Language and the Dialect of Cornwall, with an enlarged glossary of Cornish provincial words.

Glosario. -- Cornwall. -- Pertenece a la Colección Varia 1800-1950 de The Salamanca Corpus. -- Frederick William Pearce Jago (1817-1911). -- The Ancient Language and the Dialect of Cornwall, with an enlarged glossary of Cornish provincial words. -- 1882.[ES] Glosario del dialecto de Cornualles. [EN] Cornish dialect glossary

Clinical evaluation of the Life Support for Trauma and Transport (LSTAT) platform

INTRODUCTION: The Life Support for Trauma and Transport (LSTAT™) is a self-contained, stretcher-based miniature intensive care unit designed by the United States Army to provide care for critically injured patients during transport and in remote settings where resources are limited. The LSTAT contains conventional medical equipment that has been integrated into one platform and reduced in size to fit within the dimensional envelope of a North Atlantic Treaty Organization (NATO) stretcher. This study evaluated the clinical utility of the LSTAT in simulated and real clinical environments. Our hypothesis was that the LSTAT would be equivalent to conventional equipment in detecting and treating life-threatening problems. METHODS: Thirty-one anesthesiologists and recovery room nurses compared the LSTAT with conventional monitors while managing four simulated critical events. The time required to reach a diagnosis and treatment was recorded for each simulation. Subsequently, 10 consenting adult patients were placed on the LSTAT after surgery for postoperative care in the recovery room. Questionnaires about aspects of LSTAT functionality were completed by nine nurses who cared for the patients placed on the LSTAT. RESULTS: In all of the simulations, there was no clinically significant difference in the time to diagnosis or treatment between the LSTAT and conventional equipment. All clinicians reported that they were able to manage the simulated patients properly with the LSTAT. Nursing staff reported that the LSTAT provided adequate equipment to care for the patients monitored during recovery from surgery and were able to detect critical changes in vital signs in a timely manner. DISCUSSION: Preliminary evaluation of the LSTAT in simulated and postoperative environments demonstrated that the LSTAT provided appropriate equipment to detect and manage critical events in patient care. Further work in assessing LSTAT functionality in a higher-acuity environment is warranted

Seismic imaging of the Cocos plate subduction zone system in central Mexico

Broadband data from the Meso-America Subduction Experiment (MASE) line in central Mexico were used to image the subducted Cocos plate and the overriding continental lithosphere beneath central Mexico using a generalized radon transform based migration. Our images provide insight into the process of subducting relatively young oceanic lithosphere and its complex geometry beneath continental North America. The converted and reverberated phase image shows complete horizontal tectonic underplating of the Cocos oceanic lithosphere beneath the North American continental lithosphere, with a clear image of a very thin low-velocity oceanic crust (7–8 km) which dips at 15–20 degrees at Acapulco then flattens approximately 300 km from the Middle America Trench. Farther inland the slab then appears to abruptly change from nearly horizontal to a steeply dipping geometry of approximately 75 degrees underneath the Trans-Mexican Volcanic Belt (TMVB). Where the slab bends underneath the TMVB, the migrated image depicts the transition from subducted oceanic Moho to continental Moho at ∼230 km from the coast, neither of which were clearly resolved in previous seismic images. The deeper seismic structure beneath the TMVB shows a prominent negative discontinuity (fast-to-slow) at ∼65–75 km within the upper mantle. This feature, which spans horizontally beneath the arc (∼100 km), may delineate the top of a layer of ponded partial melt

Formal Specifications and Analysis of the Computer Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System

Reliability of medical devices such as the CARA Infusion Pump Control System is of extreme importance given that these devices are being used on patients in critical condition. The Infusion Pump Control System includes embedded processors and accompanying embedded software for monitoring as well as controlling sensors and actuators that allow the embedded systems to interact with their environments. This nature of the Infusion Pump Control System adds to the complexity of assuring the reliability of the total system. The traditional methods of developing embedded systems are inadequate for such safety-critical devices. In this paper, we study the application of formal methods to the requirements capture and analysis for the Infusion Pump Control System. Our approach consists of two phases. The first phase is to convert the informal design requirements into a set of reference specifications using a formal system, in this case EFSMs (Extended Finite State Machines). The second phase is to translate the reference specifications to the tools supporting formal analysis, such as SCR and Hermes. This allows us to conclude properties of the reference specifications. Our research goal is to develop a framework and methodology for the integrated use of formal methods in the development of embedded medical systems that require high assurance and confidence